#include<stdio.h>
#include<string.h>
#include<stdlib.h>

int hash[10000010];
int main() {
    int a, b, n;
    scanf ( "%d%d", &a, &n );
    b = a + n - 1;
	long long ans=0;
    for ( int i = 1; i * i <= b; ++i ) {
        int p = i * i;
        for ( int j = p; j <= b; j += p ) {
            hash[j] = j / p;
        }
    }
	for(int i=a;i<=b;++i)
		ans+=hash[i];
	printf("%I64d\n", ans);
    return 0;
}